Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
301	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2009-10-20 18:53:39 Logic Mathematical logic Abstraction Automated theorem proving Model theory Predicate logic Semantics Boolean algebra Resolution Cutting-plane method First-order logic Propositional calculus
302	THE COMPLEXITY OF SATISFACTION PROBLEMS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-02-06 12:14:26 Automated theorem proving Logic programming Logic in computer science Boolean algebra Model theory Substitution Boolean satisfiability problem Interpretation Relationships among probability distributions Lifting theory
303	The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2016-05-27 08:19:42 Software Computer programming Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml
304	Nunchaku: Flexible Model Finding for Higher-Order Logic Simon Cruanes, Jasmin Blanchette, Andrew Reynolds Veridis, Inria Nancy https://cedeela.fr/~simon/ April 7th, 2016 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-04-07 05:17:04 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution
305	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Declarative programming Computer programming Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function
306	Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-30 12:25:15 Software engineering Software testing Computing Theoretical computer science Formal methods Logic in computer science Object-oriented programming Postcondition Random testing Eiffel General-purpose computing on graphics processing units Test data generation
307	Analyzing proofs in analysis∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, D–60054 Frankfurt am Main, Germany 1 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:27 Logic Mathematics Mathematical analysis Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory operator Spectral theory of ordinary differential equations
308	Building and Environment, Vol. 26, No. 1, pp, 91 $3.00+0.00 Pergamon Press plc. Printed in Great Britain. Add to Reading List Source URL: www.kmjn.org Language: English - Date: 2011-09-05 21:12:58 Engineering Computer-aided design Design engineering Conceptual model Representation theory Academia Mathematical model 3D modeling Logic programming User interface Duality Science and technology
309	Language Implementation Basics Polyglot Programming DC 2015 Brock Wilcox Add to Reading List Source URL: thelackthereof.org Language: English D400 road Istria County IBM Basic assembly language and successors Logic gate
310	Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Elimination of Skolem functions for monotone formulas in analysis Ulrich Kohlenbach Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:33:24 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Constructible universe

UPDATE